#include<stdio.h>
void main()
{
    char ch;
    ch = getchar();
    ch += 32;

    putchar(ch);
    putchar('\n');
    
}